Get WordPress Category ID from Category name

Simple way to extract cat id (9 for example) from category named ‘Php’

echo $mycategory_id = get_cat_ID('Php');

OR

num1 is equal to “Forms”

num2 is equal to 63

Coverted from tricks to the number 63 which is the cat ID number.
$num2 = get_cat_ID( $num1 );