document.write (" 3007 ");