document.write (" 5812 ");