document.write (" 13994 ");