document.write (" 10512 ");