document.write (" 16412 ");