document.write (" 42101 ");