document.write("
(18)(12)
");