document.write (" 4004 ");