document.write (" 3002 ");