document.write (" 42164 ");