document.write('4042 ');