document.write (" 42001 ");