document.write (" 5712 ");