document.write (" 10394 ");