DEVINT#12