document.write (" 12010 ");