if ( substr( $opt_a, 0, 2 ) == "0x" ) { $opt_a = hex($opt_a); }