document.write (" 42555 ");