document.write (" 42252 ");