document.write('8042 ');