document.write (" 13612 ");