document.write (" 4002 ");