document.write(' 4242 ');