document.write('004888');