document.write('8048 ');