document.write (" 5714 ");