document.write (" 12006 ");