document.write(' 42552 ');