document.write (" 7002 ");