document.write (" 12701 ");