document.write (" 42505 ");