document.write (" 6394 ");