document.write(' 4042 ');