document.write (" 5717 ");