document.write (" 13694 ");