document.write(' 5242 ');