document.write (" 10427 ");