document.write (" 13710 ");