document.write (" 42057 ");