document.write(' 42004 ');