document.write (" 42006 ");