$string_nullspace = substr( $string_nullspace, $pos + 1 );