document.write(' 42655 ');