document.write (" 12007 ");