document.write (" 12001 ");