<!--
function extract() {}
function killit() {}
//-->

