document.write (" 4001 ");